This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are discussed, and (...) a prototype natural-language-understanding system is presented as an illustration. (shrink)

A computer can come to understand natural language the same way Helen Keller did: by using “syntactic semantics”—a theory of how syntax can suffice for semantics, i.e., how semantics for natural language can be provided by means of computational symbol manipulation. This essay considers real-life approximations of Chinese Rooms, focusing on Helen Keller’s experiences growing up deaf and blind, locked in a sort of Chinese Room yet learning how to communicate with the outside world. Using the SNePS computational knowledge-representation system, (...) the essay analyzes Keller’s belief that learning that “everything has a name” was the key to her success, enabling her to “partition” her mental concepts into mental representations of: words, objects, and the naming relations between them. It next looks at Herbert Terrace’s theory of naming, which is akin to Keller’s, and which only humans are supposed to be capable of. The essay suggests that computers at least, and perhaps non-human primates, are also capable of this kind of naming. (shrink)

Contextual vocabulary acquisition (CVA) is the deliberate acquisition of a meaning for a word in a text by reasoning from context, where “context” includes: (1) the reader’s “internalization” of the surrounding text, i.e., the reader’s “mental model” of the word’s “textual context” (hereafter, “co-text” [3]) integrated with (2) the reader’s prior knowledge (PK), but it excludes (3) external sources such as dictionaries or people. CVA is what you do when you come across an unfamiliar word in your reading, realize that (...) you don’t know what it means, decide that you need to know what it means in order to understand the passage, but there is no one around to ask, and it is not in the dictionary (or you are too lazy to look it up). In such a case, you can try to figure out its meaning “from context”, i.e., from clues in the co-text together with your prior knowledge. Our computational theory of CVA—implemented in a the SNePS knowledge representation and reasoning system [28]—begins with a stored knowledge base containing SNePS representations of relevant PK, inputs SNePS representations of a passage containing an unfamiliar word, and draws inferences from these two (integrated) information sources. When asked to define the word, definition algorithms deductively search the resulting network for information of the sort that might be found in a dictionary definition, outputting a definition frame whose slots are the kinds of features that a definition might contain (e.g., class membership, properties, actions, spatio-temporal information, etc.) and whose slot-fillers contain information gleaned from the network [6–8,20,23,24]. We are investigating ways to make our system more robust, to embed it in a naturallanguage-processing system, and to incorporate morphological information. Our research group, including reading educators, is also applying our methods to the develop-. (shrink)

Hauser argues that his pocket calculator (Cal) has certain arithmetical abilities: it seems Cal calculates. That calculating is thinking seems equally untendentious. Yet these two claims together provide premises for a seemingly valid syllogism whose conclusion - Cal thinks - most would deny. He considers several ways to avoid this conclusion, and finds them mostly wanting. Either we ourselves can't be said to think or calculate if our calculation-like performances are judged by the standards proposed to rule out Cal; or (...) the standards- e.g., autonomy and self-consciousness- make it impossible to verify whether anything or anyone (save oneself) meets them. While appeals to the intentionality of thought or the unity of minds provide more credible lines of resistance, available accounts of intentionality and mental unity are insufficiently clear and warranted to provide very substantial arguments against Cal's title to be called a thinking thing. Indeed, considerations favoring granting that title are more formidable than is generally appreciated. Rapaport's comments suggest that, on a strong view of thinking, mere calculating is not thinking (and pocket calculators don't think), but on a weak, but unexciting, sense of thinking, pocket calculators do think. He closes with some observations on the implications of this conclusion. (shrink)

Epistemic justifications for democracy have been offered in terms of two different aspects of decision-making: voting and deliberation, or ‘votes’ and ‘talk.’ The Condorcet Jury Theorem is appealed to as a justification in terms votes, and the Hong-Page “Diversity Trumps Ability” result is appealed to as a justification in terms of deliberation. Both of these, however, are most plausibly construed as models of direct democracy, with full and direct participation across the population. In this paper, we explore how these results (...) hold up if we vary the model so as to reflect the more familiar democratic structure of a representative hierarchy. We first recount extant analytic work that shows that representation inevitably weakens the voting results of the Condorcet Jury Theorem, but we question the ability of that result to shine light on real representative systems. We then show that, when we move from votes to talk, as modeled in Hong-Page, representation holds its own and even has a slight edge. (shrink)

In this paper I argue against the view of G.E.L. Owen that the second version of the Third Man Argument is a sound objection to Plato's conception of Forms as paradigms and that Plato knew it. The argument can be formulated so as to be valid, but Plato need not be committed to one of its premises. Forms are self-predicative, but the ground of self-predication is not the same as that of ordinary predication.

In a series of formal studies and less formal applications, Hong and Page offer a ‘diversity trumps ability’ result on the basis of a computational experiment accompanied by a mathematical theorem as explanatory background (Hong & Page 2004, 2009; Page 2007, 2011). “[W]e find that a random collection of agents drawn from a large set of limited-ability agents typically outperforms a collection of the very best agents from that same set” (2004, p. 16386). The result has been extremely influential as (...) an epistemic justification for diversity policy initiatives. Here we show that the ‘diversity trumps ability’ result is tied to the particular random landscape used in Hong and Page’s simulation. We argue against interpreting results on that random landscape in terms of ‘ability’ or ‘expertise.’ These concepts are better modeled on smother and more realistic landscapes, but keeping other parameters the same those are landscapes on which it is groups of the best performing that do better. Smoother landscapes seem to vindicate both the concept and the value of expertise. Change in other parameters, however, also vindicates diversity. With an increase in the pool of available heuristics, diverse groups again do better. Group dynamics makes a difference as well; simultaneous ‘tournament’ deliberation in a group in place of the ‘relay’ deliberation in Hong and Page’s original model further emphasizes an advantage for diversity. ‘Tournament’ 2 dynamics particularly shows the advantage of mixed groups that include both experts and non-experts. As a whole, our modeling results suggest that relative to problem characteristics and conceptual resources, the wisdom of crowds and the wisdom of the few each have a place. We regard ours as a step toward attempting to calibrate their relative virtues in different modelled contexts of intellectual exploration. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Different authors offer subtly different characterizations of naïve realism. We disentangle the main ones and argue that illusions provide the best proving ground for naïve realism and its main rival, representationalism. According to naïve realism, illusions never involve per- ceptual error. We assess two leading attempts to explain apparent perceptual error away, from William Fish and Bill Brewer, and conclude that they fail. Another lead- ing attempt is assessed in a companion paper, which also sketches an alternative representational account.

Agent-based models have played a prominent role in recent debates about the merits of democracy. In particular, the formal model of Lu Hong and Scott Page and the associated “diversity trumps ability” result has typically been seen to support the epistemic virtues of democracy over epistocracy (i.e., governance by experts). In this paper we first identify the modeling choices embodied in the original formal model and then critique the application of the Hong-Page results to philosophical debates on the relative merits (...) of democracy. In particular we argue that the “best-performing agents” in Hong-Page model should not be interpreted as experts. We next explore a closely related model in which best-performing agents are more plausibly seen as experts and show that the diversity trumps ability result fails to hold. However, with changes in other parameters (such as the deliberation dynamic) the diversity trumps ability result is restored. The sensitivity of this result to parameter choices illustrates the complexity of the link between formal modeling and more general philosophical claims; we use this debate as a platform for a more general discussion of when and how agent-based models can contribute to philosophical discussions. (shrink)

Background: -/- One influential view is that vulnerability to major depressive disorder (MDD) is associated with a proneness to experience negative emotions in general. In contrast, blame attribution theories emphasise the importance of blaming oneself rather than others for negative events. Our previous exploratory study provided support for the attributional hypothesis that patients with remitted MDD show no overall bias towards negative emotions, but a selective bias towards emotions entailing self-blame relative to emotions that entail blaming others. More specifically, we (...) found a decreased proneness for contempt/disgust towards others relative to oneself (i.e. self-contempt bias). Here, we report a definitive test of the competing general negative versus specific attributional bias theories of MDD. Methods: -/- We compared a medication-free remitted MDD (n = 101) and a control group (n = 70) with no family or personal history of MDD on a previously validated experimental test of moral emotions. The task measures proneness to specific emotions associated with different types of self-blame (guilt, shame, self-contempt/disgust, self-indignation/anger) and blame of others (other-indignation/anger, other-contempt/disgust) whilst controlling for the intensity of unpleasantness. Results: -/- We confirmed the hypothesis that patients with MDD exhibit an increased self-contempt bias with a reduction in contempt/disgust towards others. Furthermore, they also showed a decreased proneness for indignation/anger towards others. Conclusions: -/- This corroborates the prediction that vulnerability to MDD is associated with an imbalance of specific self- and other-blaming emotions rather than a general increase in negative emotions. This has important implications for neurocognitive models and calls for novel focussed interventions to rebalance blame in MDD. (shrink)

Objectives. The purpose of this study was to conduct the first randomized controlled trial (RCT) to evaluate the effectiveness of a second-generation mindfulness-based intervention (SG-MBI) for treating fibromyalgia syndrome (FMS). Compared to first generation mindfulness-based interventions, SG-MBIs are more acknowledging of the spiritual aspect of mindfulness. Design. A RCT employing intent-to-treat analysis. Methods. Adults with FMS received an 8-week SG-MBI known as meditation awareness training (MAT; n = 74) or an active control intervention known as cognitive behaviour theory for groups (...) (n = 74). Assessments were performed at pre-, post-, and 6-month follow-up phases. Results. Meditation awareness training participants demonstrated significant and sustained improvements over control group participants in FMS symptomatology, pain perception, sleep quality, psychological distress, non-attachment (to self, symptoms, and environment), and civic engagement. A mediation analysis found that (1) civic engagement partially mediated treatment effects for all outcome variables, (2) non-attachment partially mediated treatment effects for psychological distress and sleep quality, and (3) non-attachment almost fully mediated treatment effects for FMS symptomatology and pain perception. Average daily time spent in meditation was found to be a significant predictor of changes in all outcome variables. Conclusions. Meditation awareness training may be a suitable treatment for adults with FMS and appears to ameliorate FMS symptomatology and pain perception by reducing attachment to self. (shrink)

Sceptical theists--e.g., William Alston and Michael Bergmann--have claimed that considerations concerning human cognitive limitations are alone sufficient to undermine evidential arguments from evil. We argue that, if the considerations deployed by sceptical theists are sufficient to undermine evidential arguments from evil, then those considerations are also sufficient to undermine inferences that play a crucial role in ordinary moral reasoning. If cogent, our argument suffices to discredit sceptical theist responses to evidential arguments from evil.

In recent years, philosophers have identified a number of moral and psychological harms associated with the attention economy (Alysworth & Castro, 2021; Castro & Pham, 2020; Williams, 2018). Missing from many of these accounts of the attention economy, however, is what exactly attention is. As a result of this neglect of the cognitive science of attention, many of these accounts are not empirically credible. They rely on oversimplified and unsophisticated accounts of not only attention, but self- control, and addiction as (...) well. Of note are accounts of the attention economy that rely on the ‘brain disease’ rhetoric of addiction and subsequent control failures (Aylsworth & Castro, 2021; Bhargava & Velasquez, 2021), accounts that rely on a strict dichotomy of top-down vs. bottom-up attention (Williams, 2018; Aylsworth & Castro, 2021), and accounts that construe attention as a limited resource (Williams, 2018). -/- Drawing on recent work from the neuroscience and psychology of attention, I demonstrate the shortcomings of these accounts and sketch a way forward for an empirically grounded account of the attention economy. These accounts tend to uphold strict dichotomies of voluntary control (e.g., compulsion versus choice, dual-process models of self-control, and top-down versus bottom-up) that cannot account for the complexities of attentional control, mental agency, and decision-making. As such, these empirically and conceptually impoverished accounts cannot adequately address the current so-called crisis of attention. To better understand the harms associated with the attention economy, we need an empirically responsible account of the nature and function of attention and mental agency. (shrink)

Any treatment of the relationship between pragmatism and politics would be incomplete without considering the multiple areas in which pragmatist thought and political studies intersect. Extensive scholarly work on pragmatism and politics can be found in the broad literature on political science, democratic theory, global political theory, public administration, and public policy. To a lesser extent, scholarship employing a pragmatist approach can be found in other subfields of political studies, including American politics and international relations. Unfortunately, the few works in (...) these subfi elds tend to appeal to a generic form of pragmatism (e.g., pragmatism as brute instrumentalism or pragmatism as vicious opportunism), not the robust version associated with classic and contemporary philosophical pragmatism.1 Most works on classic pragmatism and politics draw heavily on John Dewey’s political writings. Pragmatism’s two other founders remained relatively silent on the subject; in Robert Talisse’s words, “neither [Charles Sanders] Peirce nor [William] James wrote systematically about politics.” Neo-pragmatist treatments of politics can be found in the works of the late Richard Rorty, Cornell West, and Richard Posner. (shrink)

The general idea of strong foundationalism is that knowledge has a foundation in well warranted beliefs which do not derive any warrant from other beliefs and that all our other beliefs depend on these foundational ones for their warrant. Although inerrancy posits Scripture as a solid foundation for theology, the idea that the doctrine of biblical inerrancy involves a strong foundationalist epistemology is deeply problematic. In fact, inerrancy does not require any particular view of the structure of knowledge, and notable (...) sources on inerrancy tout it in ways inconsistent with most forms of strong foundationalism. (shrink)

It can be easy to assume that since the “theist in the street” is unaware of any of the traditional arguments for theism, he or she is not in position to offer independent rational support for believing that God exists. I argue that that is false if we accept with William Alston that “manifestation beliefs” can enjoy rational support on the basis of suitable religious experiences. I make my case by defending the viability of a Moorean-style proof for theism—a (...) proof for the existence of God that parallels in structure G. E. Moore’s famous proof for the existence of the external world. I argue that this shows that even if the theist in the street has nothing to offer for helping to convince the religious sceptic, this needn’t entail that she cannot offer independent rational support in defense of her theistic belief. (shrink)

Many accounts of structural rationality give a special role to logic. This paper reviews the problem case of clear-eyed logical uncertainty. An account of rational norms on belief that does not give a special role to logic is developed: doxastic probabilism.

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those in (...) current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

W.E. Gladstone’s changing and inconsistent views on religious oaths and established churches present an intriguing puzzle. This article compares and contrasts his early and later stances on these topics with the purpose of evaluating the place of practical judgments in his arguments. This exploration reveals that the prevailing description of Gladstone’s views, which privileges the role practicality played in his later support for a more liberal set of policies governing church–state relations, does not explain the changes and inconsistencies in his (...) position as well as does a description that emphasizes the changes and continuities in his fundamental philosophy. In conclusion, connections are suggested between this explanation of Gladstone’s views and theoretical considerations regarding the development of liberal freedoms. (shrink)

Decisions are made under uncertainty when there are distinct outcomes of a given action, and one is uncertain to which the act will lead. Decisions are made under indeterminacy when there are distinct outcomes of a given action, and it is indeterminate to which the act will lead. This paper develops a theory of (synchronic and diachronic) decision-making under indeterminacy that portrays the rational response to such situations as inconstant. Rational agents have to capriciously and randomly choose how to resolve (...) the indeterminacy relevant to a given choice-situation, but such capricious choices once made constrain how they will choose in the future. The account is illustrated by the case of self-interested action in situations where it is indeterminate whether you yourself will survive to benefit or suffer the consequences. The conclusion emphasizes some distinctive anti-hedging predictions of the account. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

It is now well-known that Newton–Cartan theory is the correct geometrical setting for modelling the quantum Hall effect. In addition, in recent years edge modes for the Newton–Cartan quantum Hall effect have been derived. However, the existence of these edge modes has, as of yet, been derived using only orthodox methodologies involving the breaking of gauge-invariance; it would be preferable to derive the existence of such edge modes in a gauge-invariant manner. In this article, we employ recent work by Donnelly (...) and Freidel in order to accomplish exactly this task. Our results agree with known physics, but afford greater conceptual insight into the existence of these edge modes: in particular, they connect them to subtle aspects of Newton–Cartan geometry and pave the way for further applications of Newton–Cartan theory in condensed matter physics. (shrink)

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘ eligibility ’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but (...) instead flows naturally from three independently motivated elements; and to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

The concept of moral wrongness, many think, has a distinctive kind of referential stability, brought out by moral twin earth cases. This article offers a new account of the source of this stability, deriving it from a metaphysics of content: “substantive” radical interpretation, and first-order normative assumptions. This story is distinguished from extant “reference magnetic” explanations of the phenomenon, and objections and replies are considered.

A standard line in the contemporary philosophical literature has it that physical theories are equivalent only when they agree on their empirical content, where this empirical content is often understood as being encoded in the equations of motion of those theories. In this article, we question whether it is indeed the case that the empirical content of a theory is exhausted by its equations of motion, showing that (for example) considerations of boundary conditions play a key role in the empirical (...) equivalence (or otherwise) of theories. Having argued for this, we show that philosophical claims made by Weatherall (2016) that electromagnetism in the Faraday tensor formalism is equivalent to electromagnetism in the vector potential formalism, and by Knox (2011) that general relativity is equivalent to teleparallel gravity, can both be called into question. We then show that properly considering the role of boundary conditions in theory structure can potentially restore these claims of equivalence and close with some remarks on the pragmatics of adjudications on theory identity. (shrink)

Jeff Paris proves a generalized Dutch Book theorem. If a belief state is not a generalized probability then one faces ‘sure loss’ books of bets. In Williams I showed that Joyce’s accuracy-domination theorem applies to the same set of generalized probabilities. What is the relationship between these two results? This note shows that both results are easy corollaries of the core result that Paris appeals to in proving his dutch book theorem. We see that every point of accuracy-domination defines a (...) dutch book, but we only have a partial converse. (shrink)

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so we should (...) resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference between reasoning (...) in a public communication language and in a knowledge-representation language, we demonstrate the importance of representing proper names explicitly, and we provide support for the necessity of considering sentences in the context of extended discourse (for example, written narrative) in order to fully capture certain features of their semantics. (shrink)

Chancy counterfactuals are a headache. Dylan Dodd (2009) presents an interesting argument against a certain general strategy for accounting for them, instances of which are found in the appendices to Lewis (1979) and in Williams (2008). I will argue (i) that Dodd’s understates the counterintuitiveness of the conclusions he can reach; (ii) that the counterintuitiveness can be thought of as an instance of more general oddities arising when we treat vagueness and indeterminacy in a classical setting; and (iii) the underlying (...) source of discontent which animates Dodd’s complains is to be found in a certain general constraint one might impose on conditionals—what I’ll call the counterfactual Ramsey bound. Unfortunately, the counterfactual Ramsey bound is just as problematic as its famous indicative cousin. The moral is that there’s no comfortable resting place in this area; for violations of the counterfactual Ramsey bound are going to lead to prima facie surprising results. (shrink)

This paper examines two puzzles of indeterminacy. The first puzzle concerns the hypothesis that there is a unified phenomenon of indeterminacy. How are we to reconcile this with the apparent diversity of reactions that indeterminacy prompts? The second puzzle focuses narrowly on borderline cases of vague predicates. How are we to account for the lack of theoretical consensus about what the proper reaction to borderline cases is? I suggest (building on work by Maudlin) that the characteristic feature of indeterminacy is (...) alethic normative silence, and use this to explain both plurality and lack of consensus. (shrink)

Revisionary theories of logic or truth require revisionary theories of mind. This essay outlines nonclassically based theories of rational belief, desire, and decision making, singling out the supervaluational family for special attention. To see these nonclassical theories of mind in action, this essay examines a debate between David Lewis and Derek Parfit over what matters in survival. Lewis argued that indeterminacy in personal identity allows caring about psychological connectedness and caring about personal identity to amount to the same thing. The (...) essay argues that Lewis's treatment of two of Parfit's puzzle cases—degreed survival and fission—presuppose different nonclassical treatments of belief and desire. (shrink)

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

Sometimes it is indeterminate what an agent morally ought do. This generates a Decision Ought Challenge—to give moral guidance to agents in such a scenario. This article is a field guide to the options for a theory of the decision ought for cases of indeterminacy. Three categories of view are evaluated, and the best representative for each is identified.

Joyce (1998) gives an argument for probabilism: the doctrine that rational credences should conform to the axioms of probability. In doing so, he provides a distinctive take on how the normative force of probabilism relates to the injunction to believe what is true. But Joyce presupposes that the truth values of the propositions over which credences are defined are classical. I generalize the core of Joyce’s argument to remove this presupposition. On the same assumptions as Joyce uses, the credences of (...) a rational agent should always be weighted averages of truth value assignments. In the special case where the truth values are classical, the weighted averages of truth value assignments are exactly the probability functions. But in the more general case, probabilistic axioms formulated in terms of classical logic are violated—but we will show that generalized versions of the axioms formulated in terms of non-classical logics are satisfied. (shrink)

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.

In the literature on supervaluationism, a central source of concern has been the acceptability, or otherwise, of its alleged logical revisionism. I attack the presupposition of this debate: arguing that when properly construed, there is no sense in which supervaluational consequence is revisionary. I provide new considerations supporting the claim that the supervaluational consequence should be characterized in a ‘global’ way. But pace Williamson (1994) and Keefe (2000), I argue that supervaluationism does not give rise to counterexamples to familiar inference-patterns (...) such as reductio and conditional proof. (shrink)

John Searle once said: "The Chinese room shows what we knew all along: syntax by itself is not sufficient for semantics. (Does anyone actually deny this point, I mean straight out? Is anyone actually willing to say, straight out, that they think that syntax, in the sense of formal symbols, is really the same as semantic content, in the sense of meanings, thought contents, understanding, etc.?)." I say: "Yes". Stuart C. Shapiro has said: "Does that make any sense? Yes: Everything (...) makes sense. The question is: What sense does it make?" This essay explores what sense it makes to say that syntax by itself is sufficient for semantics. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

I outline and motivate a way of implementing a closest world theory of indicatives, appealing to Stalnaker's framework of open conversational possibilities. Stalnakerian conversational dynamics helps us resolve two outstanding puzzles for a such a theory of indicative conditionals. The first puzzle -- concerning so-called 'reverse Sobel sequences' -- can be resolved by conversation dynamics in a theoryneutral way: the explanation works as much for Lewisian counterfactuals as for the account of indicatives developed here. Resolving the second puzzle, by contrast, (...) relies on the interplay between the particular theory of indicative conditionals developed here and Stalnakerian dynamics. The upshot is an attractive resolution of the so-called "Gibbard phenomenon" for indicative conditionals. (shrink)

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

Critical Review of Searle's Minds, Brains and Science.

There are advantages to thrift over honest toil. If we can make do without numbers we avoid challenging questions over the metaphysics and epistemology of such entities; and we have a good idea, I think, of what a nominalistic metaphysics should look like. But minimizing ontology brings its own problems; for it seems to lead to error theory— saying that large swathes of common-sense and best science are false. Should recherche philosophical arguments really convince us to give all this up? (...) Such Moorean considerations are explicitly part of the motivation for the recent resurgence of structured metaphysics, which allow a minimal (perhaps nominalistic) fundamental ontology, while avoiding error-theory by adopting a permissive stance towards ontology that can be argued to be grounded in the fundamental. This paper evaluates the Moorean arguments, identifying key epistemological assumptions. On the assumption that Moorean arguments can be used to rule out error-theory, I examine deflationary ‘representationalist’ rivals to the structured metaphysics reaction. Quinean paraphrase, fictionalist claims about syntax and semantics are considered and criticized. In the final section, a ‘direct’ deflationary strategy is outlined and the theoretical obligations that it faces are articulated. The position advocated may have us talking a lot like a friend of structured metaphysics—but with a very different conception of what we’re up to. (shrink)

Some argue that theories of universals should incorporate structural universals, in order to allow for the metaphysical possibility of worlds of 'infinite descending complexity' ('onion worlds'). I argue that the possibility of such worlds does not establish the need for structural universals. So long as we admit the metaphysical possibility of emergent universals, there is an attractive alternative description of such cases.